WithTooFewPatterns.agda:2,1-3,13
Too few arguments given in with-clause
when checking that the clause
test A with A
test | B = B
has type Set → Set
